</body>
<script type="text/javascript">
// protocol = window.location.protocol === 'http:' ? 'ws://' : 'wss://';
// address = protocol + window.location.host + window.location.pathname + '/ws';
// socket = new WebSocket(address);
// socket.onmessage = function(msg) {
// 	msg.data == 'reload' && window.location.reload(); }
</script>
</html>